domain theory - definizione. Che cos'è domain theory
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è domain theory - definizione

BRANCH OF MATHEMATICS
Way-below relation; Way-below

domain theory         
<theory> A branch of mathematics introduced by Dana Scott in 1970 as a mathematical theory of programming languages, and for nearly a quarter of a century developed almost exclusively in connection with denotational semantics in computer science. In denotational semantics of programming languages, the meaning of a program is taken to be an element of a domain. A domain is a mathematical structure consisting of a set of values (or "points") and an ordering relation, <= on those values. Domain theory is the study of such structures. ("<=" is written in LaTeX as subseteq) Different domains correspond to the different types of object with which a program deals. In a language containing functions, we might have a domain X -> Y which is the set of functions from domain X to domain Y with the ordering f <= g iff for all x in X, f x <= g x. In the pure lambda-calculus all objects are functions or applications of functions to other functions. To represent the meaning of such programs, we must solve the recursive equation over domains, D = D -> D which states that domain D is (isomorphic to) some {function space} from D to itself. I.e. it is a fixed point D = F(D) for some operator F that takes a domain D to D -> D. The equivalent equation has no non-trivial solution in {set theory}. There are many definitions of domains, with different properties and suitable for different purposes. One commonly used definition is that of Scott domains, often simply called domains, which are omega-algebraic, consistently complete CPOs. There are domain-theoretic computational models in other branches of mathematics including dynamical systems, fractals, measure theory, integration theory, probability theory, and stochastic processes. See also abstract interpretation, bottom, {pointed domain}. (1999-12-09)
Domain theory         
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory.
Three-domain system         
  • Alternative versions of the three domains of life's phylogeny
HYPOTHESIS FOR CLASSIFICATION OF LIFE
Three domain hypothesis; Three domain theory; Three domains; 3 domains; Three domain system; Three-Domain System; Towards a natural system of organisms: proposal for the domains Archaea, Bacteria, and Eucarya; 3 domain system
The three-domain system is a biological classification introduced by Carl Woese, Otto Kandler, and Mark Wheelis in 1990 that divides cellular life forms into three domains, namely Archaea, Bacteria, and Eukaryote or Eukarya. The key difference from earlier classifications such as the two-empire system and the five-kingdom classification is the splitting of archaea from bacteria as completely different organism.

Wikipedia

Domain theory

Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer science, where it is used to specify denotational semantics, especially for functional programming languages. Domain theory formalizes the intuitive ideas of approximation and convergence in a very general way and is closely related to topology.